1.
The Art of Verification with SystemVerilog Assertions
by Faisal Haque, Jonathan Mich...
ISBN: 9780971199415
List Price: $110.00
2.
Art of Verification with Vera
by Haque, Faisal I., Michelson...
ISBN: 9780971199408
List Price: $88.95